21. Proof Theory of Modal Logic
پدیدآورنده : edited by Heinrich Wansing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
22. The Art of the Intelligible :
پدیدآورنده : by John L. Bell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Geometry.,Logic, Symbolic and mathematical.,Philosophy (General),Science-- Philosophy.,Algebra.,Geometry.,Logic, Symbolic and mathematical.,Science-- Philosophy.
رده :
B67
23. Trends in Logic
پدیدآورنده : edited by Vincent F. Hendricks, Jacek Malinowski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Coding theory.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
24. Truthlikeness
پدیدآورنده : by Ilkka Niiniluoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
